COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00004 ENDMK
C⊗;
.require "let.pub" source
∂AIL Mr. William B. Gruener↓Addison-Wesley Publishing Company
↓Reading, Massachusetts 01867∞
.<<(617) 944-3700>>

Dear Mr. Gruener:

	The book Carolyn Talcott and I are writing is not about
artificial intelligence.  It is about the programming language
LISP with emphasis on proving programs correct.  Its tentative
title is %2LISP: Programming and Proving%1, and it is intended
as an upper division undergraduate and beginnning graduate
textbook.  A preliminary version is being used here at Stanford.
Asking students to prove that their programs meet specifications
is an innovation, but the state of the art is ready for a
text introducing some of the techniques that have been developed.

	We will be glad to send you copies of the material so
far prepared and an outline of the rest.  I will be out of the country
until early in September but will certainly be back by September 15.

.sgn

cc: Carolyn Talcott